Nuprl Lemma : ma-ds_wf 0,22

M:MsgA, x:Id. M.ds(x Type 
latex


DefinitionsMsgA, M.ds(x), f(x)?z, xt(x), x:AB(x), IdDeq, Top, t  T, Id
LemmasId wf, top wf, id-deq wf, fpf-cap wf, msga wf

origin